(TeX-add-style-hook "bench1"
 (lambda ()
    (LaTeX-add-environments
     '("modsec" 1)
     "proposition")
    (TeX-add-symbols
     "M"
     "zip"
     "zlp")
    (TeX-run-style-hooks
     "geometry"
     "1cm}"
     "includehead"
     "includefoot"
     "booktabs"
     "multicol"
     "algorithm"
     "algorithmic"
     "enumerate"
     "setspace"
     "amsmath"
     "amstext"
     "amssymb"
     "graphicx"
     "latex2e"
     "art12"
     "article"
     "a4paper"
     "12pt")))

